hello:

By way of introduction, we met briefly in Luckham's office here at the
labs about three years ago, while mumbling about (sigh) ternary boolean
algebras.
Here's the point of this rude intrusion: A few weeks ago I happened
to be  in RWW-DBA's office and saw (on their console) the results of you 
"talk"-ing at an absent RWW, offering your Scott notes. 
If it is not too presumptous, I would be interested in seeing your notes. 
I have been writing notes on LISP and some of its possible extensions, 
including sections on LISP-like semantics and its 
relation to denotational semantics; the point being to introduce Scott
through LISP.  It appears to be a reasonable, intuitive approach. I would
like to compare my approach with your style if possible.

			John Allen   (JRA)